wayland: Add toolbar settings
authorMatthias Clasen <mclasen@redhat.com>
Sun, 24 Mar 2013 18:55:52 +0000 (14:55 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 25 Mar 2013 00:21:50 +0000 (20:21 -0400)
gdk/wayland/gdkscreen-wayland.c

index 8f4781117e9490874732b7301b957aaa76dcc891..7f209b59d96c9a7ce566c3a2b1e858413d55e493 100644 (file)
@@ -485,6 +485,8 @@ static TranslationEntry translations[] = {
   { "org.gnome.desktop.interface", "show-input-method-menu", "gtk-show-input-method-menu", G_TYPE_BOOLEAN, { .b = FALSE } },
   { "org.gnome.desktop.interface", "show-unicode-menu", "gtk-show-unicode-menu", G_TYPE_BOOLEAN, { .b = FALSE } },
   { "org.gnome.desktop.interface", "automatic-mnemonics", "gtk-auto-mnemonics", G_TYPE_BOOLEAN, { .b = TRUE } },
+  { "org.gnome.desktop.interface", "toolbar-style", "gtk-toolbar-style", G_TYPE_STRING, { .s = "both-horiz"} },
+  { "org.gnome.desktop.interface", "toolbar-icons-size", "gtk-toolbar-icon-size", G_TYPE_STRING, { .s = "large"} },
   { "org.gnome.settings-daemon.peripherals.mouse", "double-click", "gtk-double-click-time", G_TYPE_INT, { .i = 250 } },
   { "org.gnome.settings-daemon.peripherals.mouse", "drag-threshold", "gtk-dnd-drag-threshold", G_TYPE_INT, {.i = 8 } },
   { "org.gnome.desktop.sound", "theme-name", "gtk-sound-theme-name", G_TYPE_STRING, { .s = "freedesktop" } },